🔱 Galois Theory

Field Extensions, Error Correction, Algebraic Structures, Abstract Algebra

Quadratic Forms Beyond Arithmetic
ams.org·8h·
Discuss: Hacker News
🧮Algebraic Datatypes
Fast and Simple Rust Interner
matklad.github.io·1h
🦀Rust Verification
Monotone weak distributive laws over the lifted powerset monad in categories of algebras
arxiv.org·5h
🧮Algebraic Archives
Information modeling example: Call sheet
disruptivearchitecture.info·2h
🚚Data Migration
Chen, Goldbach, and the Search for an Unsolved Proof
pballew.blogspot.com·3h·
Discuss: www.blogger.com
🧮SMT Solvers
When is a group not a group?
cameroncounts.wordpress.com·2h
🕸️Graph Algorithms
From Paper to Proof: How We Can Formally Verify Blockchain Protocols with Lean4
medium.com·20h·
Discuss: Hacker News
🤝Distributed Consensus
Issue 481
haskellweekly.news·21h
🔗Functional Compilers
Hyperdimensional Connections a Lossless, Queryable Semantic Reasoning Framework
zenodo.org·4h·
Discuss: Hacker News
🗂️Vector Databases
Functional Abstract Interpretation
simon.peytonjones.org·3d·
Discuss: Hacker News
🔗Functional Compilers
A Wide Reduction Trick (2022)
words.filippo.io·1d·
Discuss: Lobsters, Hacker News, r/programming
🌳Archive Merkle Trees
Multiples and powers mod 1
johndcook.com·19h
🎯Arithmetic Coding Theory
Why Even Legendary Games Like Wesnoth Hide Bugs in Plain Sight
hackernoon.com·1d
📜Proof Carrying Code
Historical highlights?
logicmatters.net·2d
🔀Category Theory
2025-07-16: Understanding Hallucination in Large Language Models: Challenges and Opportunities
ws-dl.blogspot.com·1d·
Discuss: ws-dl.blogspot.com
✨Effect Handlers
Types That Count: Journey across Qualitative and Quantitative Intersection Types
iris.unito.it·3d·
Discuss: Hacker News
🔍Type Inference
Code Smells in Clojure
github.com·11h·
Discuss: Hacker News
🦀Rust Borrowing
AtCoder Finals Problem Statement
atcoder.jp·1d·
Discuss: Hacker News
🇯🇵Japanese Computing
Machine Learning Fundamentals: dimensionality reduction tutorial
dev.to·18h·
Discuss: DEV
📐Vector Dimensionality
Probabilistic Soundness Guarantees in LLM Reasoning Chains
arxiv.org·5h
🛡️Proof-Carrying Archives